Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
✅Format Validation
Flag this post
Markdown Is Holding You Back
📋Document Grammar
Flag this post
Show HN: Lite³ – A JSON-Compatible Zero-Copy Serialization Format in 9.3 KB of C
🔢Binary Formats
Flag this post
OctoPDF: Free, Accurate, and Reliable PDF/A Validation for Everyone
pdfa.org·2d
📄PDF Archaeology
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
exploits.club Weekly(ish) Newsletter 92 - S23 N-Day PoCs, Printer Overflows, DNG OOB Writes, And More
blog.exploits.club·1d
💣ZIP Vulnerabilities
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
Zig in 30 Minutes
🔗Concatenative Programming
Flag this post
Home - Lapwing for Beginners
lapwing.aerick.ca·20h
λLambda Formalization
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🦀Rust Macros
Flag this post
Introducing AWS CloudFormation Stack Refactoring: Reorganize Your Infrastructure Without Disruption
aws.amazon.com·1d
🦋Format Metamorphosis
Flag this post
Loading...Loading more...